Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, ... 8938 (Lecture Notes in Computer Science)
by Carlos Canal,Akram Idani
ISBN 13: 9783319152004
Format: Paperback (436 pages) Publisher: Springer Published: 26 Feb 2015
Save for later
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers: 393 (Communications in Computer and Information Science)
by Carlos Canal,Massimo Villari
ISBN 13: 9783642453632
Format: Paperback (408 pages) Publisher: Springer Published: 04 Dec 2013